Skip to content

Conversation

GuillaumeGomez
Copy link
Member

@sophiajt
Copy link
Contributor

sophiajt commented Aug 5, 2016

@bors r+

@bors
Copy link
Collaborator

bors commented Aug 5, 2016

📌 Commit a4717fa has been approved by jonathandturner

@eddyb
Copy link
Member

eddyb commented Aug 6, 2016

@bors rollup

@eddyb
Copy link
Member

eddyb commented Aug 6, 2016

@bors r- failed rollup

bors added a commit that referenced this pull request Aug 6, 2016
@GuillaumeGomez
Copy link
Member Author

Updated.

@sophiajt
Copy link
Contributor

sophiajt commented Aug 6, 2016

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Aug 6, 2016

📌 Commit 4e2dd8d has been approved by jonathandturner

@bors
Copy link
Collaborator

bors commented Aug 6, 2016

⌛ Testing commit 4e2dd8d with merge ddf92ff...

bors added a commit that referenced this pull request Aug 6, 2016
sophiajt pushed a commit to sophiajt/rust that referenced this pull request Aug 6, 2016
bors added a commit that referenced this pull request Aug 6, 2016
Rollup of 9 pull requests

- Successful merges: #35362, #35393, #35394, #35402, #35410, #35411, #35413, #35419, #35421
- Failed merges: #35395, #35415
@bors bors merged commit 4e2dd8d into rust-lang:master Aug 6, 2016
@GuillaumeGomez GuillaumeGomez deleted the err_codes2 branch August 6, 2016 23:27
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants